嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

面向电网实时运行风险的快速定级方法研究及应用

为满足电网运行实时风险评估时效性要求,解决电网运行实时风险评估与定级中效率与精度两者间协调的问题,在当前国家和主要电网企业规定的电网运行事故定级标准基础上提出了一种快速定级方法。快速定级方法充分考虑了电网运行实际特性,采取数据治理和算法重构两方面主要措施,对原判定方法进行优化处理。通过数据治理,大幅降低了对外部数据的依赖性,并取消了部分不必要的输入数据。采用算法重构,进一步将运行风险定级与实际业务流程紧密联系。以该快速定级方法为核心,构建了支撑电网运行风险分析与事故处置的实时运行风险管理系统,介绍了该系统的功能框架与系统架构。最后结合该系统在贵阳的实际应用情况,分析了快速定级方法的实际使用效益。     

生产信息管理系统关键技术研究

根据公司生产控制系统现状和发展需要,分析和探讨建立公司生产信息管理系统(PIMS)的软硬件基本构成和主要方法,并对以隔离网关、实时数据库、能源计量管理等为基础的生产信息管理系统关键技术进行研究和测试。     

基于火箭遥测的地面站接收信号情况预估方法

火箭尾焰造成的信号衰减是地面测量点位选择重点考虑的问题,通常采用传统β角确定火箭尾焰对遥测地面站接收信号的影响程度。针对新型固体火箭发射中β角分析法对遥测地面站接收信号情况预测不准确的问题,文中在分析影响遥测地面站信号接收因素的基础上,提出了一种采用信号衰减方向性预估遥测地面站接收信号情况的模型。通过分析火箭遥测实测飞行姿态、位置以及地面遥测设备实际跟踪信号情况确定了模型参数,并通过实例计算证明了该方法优的优越性。     

多流多科目实时数据处理算法的设计与实现

随着飞行试验测试技术的快速发展,单架次需要处理的试飞科目越来越多,而多科目处理参数分布在不同的网络流中,这对机载实时数据处理的效率带来严峻的挑战。利用“合并-处理-分流”的方法,设计一种多流多科目网络数据实时处理算法。该算法将多科目处理参数按照参数名、采样率等信息进行整合形成合并参数列表；在实时处理时根据合并参数信息实时处理多网络流中的数据,并将处理结果存储在数据缓存中；最后将多科目数据进行分流即可得到处理结果。测试结果表明,该算法可实际应用于多流多科目数据处理中,大幅提高实时处理的效率,同时可以得到准确的数据处理结果。     

A Real Time Self-Tuning Motion Controller for Mobile Robot Systems

This paper proposes an intelligent controller for motion control of robotic systems to obtain high precision tracking without the need for a real-time trial and error method. In addition, a new self-tuning algorithm has been developed based on both the ant colony algorithm and a fuzzy system for real-time tuning of controller parameters. Simulations and experiments using a real robot have been addressed to demonstrate the success of the proposed controller and validate the theoretical analysis. Obtained results confirm that the proposed controller ensures robust performance in the presence of disturbances and parametric uncertainties without the need for adjustment of control law parameters by a trial and error method.      

波前传感器电铸镍层应力实时检测精度评估

目的 搭建电铸应力实时检测平台，评估其测量精度，并探明电化学沉积过程中镍层平均内应力的变化规律。方法 采用横向剪切波前传感器搭建电铸应力实时检测平台，通过测量在铸层应力作用下电铸基底弯曲的曲率半径，利用Stoney公式计算铸层平均应力。采用参考球面反射镜评估横向剪切波前传感器曲率半径的测量精度，并在0.5 A/dm2电流密度下进行电铸应力实时检测实验，对铸层平均应力测量极限进行评估，同时对检测误差进行分析。结果 横向波前传感器曲率半径测量精度为99.22%，在0.5 A/dm2电流密度下，所搭建的铸层应力实时检测平台可测量的最小厚度为5.1 μm，由曲率测量波动带来的应力检测误差为1.3 MPa。实验测得铸层平均应力随铸层厚度的增加而变大，当铸层厚度达到30 μm左右，铸层平均应力趋于稳定，应力大小为79.7 MPa。同时发现，当铸层厚度小于30 μm时，沿电铸基底长度方向的铸层平均应力明显大于宽度方向铸层平均应力，随铸层厚度的增加，两个方向的应力大小趋于等值。结论 采用横向剪切波前传感器搭建的电铸应力检测平台，能有效对铸层应力进行高精度的实时测量，为精密电铸过程中应力变化规律的研究提供了检测技术基础。     

Malaysia’s electricity market structure in transition

The Malaysian electricity industry evolved from a vertically integrated utility into a single-buyer model, which considered a precursor to deregulation and a competitive market. This study considers electricity sector reform in Malaysia and proposes a market structure for the industry. We focus on the single-buyer model and the pool model for the analysis with the recommendation on reform stages required to ensure a smooth and successful market transition. A smooth transition from regulated market into deregulated market will ensure market stability and sustainability of the energy market. It will also provide enough time for the market participants to adapt and transit from regulated to deregulated energy market.     

Ramsey pricing: Its uses and limits

Since 1980, the idea of ‘Ramsey pricing’ has attained a marked vogue in the literature on utility pricing and deregulation in the USA. It seems to offer a simple rule - the ‘inverseelasticity’ rule -for reaching efficient price structures in multi-product firms. It has been applied particularly to utility firms in the electric and telecommunications industries, as well as to pipelines, railroads, airlines and other deregulated industries. Despite its proponents' great enthusiasm for the idea, there are a number of serious limits and problems. I will review these in this paper, trying to draw a balanced judgment about this economic tool. It is a flawed tool, and some of its defects appear to be crippling if not fatal.